-
1 доказательство теорем
доказательство теорем
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > доказательство теорем
-
2 доказательство теорем
Oil: theorem provingУниверсальный русско-английский словарь > доказательство теорем
-
3 доказательство теорем
Русско-английский словарь по электронике > доказательство теорем
-
4 доказательство теорем
Русско-английский словарь по радиоэлектронике > доказательство теорем
-
5 доказательство теорем
-
6 доказательство теорем
Русско-английский словарь по нефти и газу > доказательство теорем
-
7 доказательство теорем
-
8 доказательство теорем
Русско-английский словарь по информационным технологиям > доказательство теорем
-
9 доказательство теорем методом резолюций
доказательство теорем методом резолюций
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > доказательство теорем методом резолюций
-
10 доказательство теорем методом резолюции
Information technology: resolution theorem provingУниверсальный русско-английский словарь > доказательство теорем методом резолюции
-
11 доказательство теорем методом резолюции
Русско-английский словарь по информационным технологиям > доказательство теорем методом резолюции
-
12 автоматическое доказательство теорем
1) Linguistics: automatic theoreme-proving2) Programming: automatic theorem proving, theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта)Универсальный русско-английский словарь > автоматическое доказательство теорем
-
13 машинное доказательство теорем
Programming: theorem proving (одно из направлений исследований и разработок в области искусственного интеллекта)Универсальный русско-английский словарь > машинное доказательство теорем
-
14 ITP
-
15 теорема
theorem• Более слабая форма теоремы 1 может быть выведена из... - A weaker form of Theorem 1 can be deduced from...• В следующей теореме мы устанавливаем дальнейшие свойства... - In the next theorem we obtain further properties of...• В следующей теореме рассматривается случай, в котором/ когда... - The next theorem deals with the case in which...• Важное следствие данной теоремы состоит в том, что... - An important consequence of this theorem is that...• Возвращаясь теперь к доказательству основной теоремы, мы... - Returning now to the proof of the main theorem, we...• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Данная теорема немедленно вытекает из... - The theorem follows at once from...• Данная теорема остается справедливой даже если... - The theorem is still true even if...• Данная теорема по-прежнему справедлива в тривиальном случае, если... - The theorem still holds in a trivial sense if...• Данная теорема принадлежит Гауссу. - This theorem is due to Gauss.• Данная теорема является непосредственным следствием... - This theorem is a direct corollary of...• Данный результат принадлежит Гауссу. Давайте сформулируем его как теорему. - This result is due to Gauss. Let us formulate it as a theorem.• Для доказательства второго утверждения теоремы мы выписываем... - То prove part (ii), we write...• Для удобства сформулируем здесь данную теорему. - We state this theorem here for convenience.• Докажем теперь обобщение теоремы 1. - We now prove a generalization of Theorem 1.• Его результаты могут быть подытожены следующей теоремой. - His results may be summed up in the following theorem.• Из теоремы 1 мы легко выводим ряд важных следствий. - From Theorem l we easily deduce a number of important consequences.• Из этих результатов мы выводим следующую важную теорему. - Prom these results we deduce the following important theorem.• Имеется хорошо известная теорема о... - There is a well-known theorem on...• Как мы увидим из дальнейшего, данная теорема является основой для... - This theorem, as we shall see, is the basis of...• Мы докажем эту теорему при дополнительном предположении, что... - We prove this theorem subject to the extra assumption that...• Мы можем сразу применить данную теорему, чтобы найти... - We can at once apply this theorem to find...• Мы можем сформулировать этот результат в виде теоремы. - We can state the result as a theorem.• Мы можем, конечно, применить теорему 1 к случаю, где/ когда... - We can, of course, apply Theorem 1 to the case where...• Мы надеемся доказать подобную теорему, хотя, возможно, и при дополнительных ограничениях. - We expect to prove such a theorem, although possibly under additional restrictions.• Мы надеемся установить теорему относительно... - We hope to obtain a theorem regarding...; We hope to establish a theorem regarding...• Мы опускаем весьма громоздкое доказательство данной теоремы. - We omit the rather lengthy proof of this theorem.• Мы рассуждаем точно как при доказательстве теоремы 1. - We argue exactly as in the proof of Theorem 1.• Немедленным следствием теоремы 1 является следующее (утверждение). - An immediate consequence of Theorem 1 is the following.• Несколько более глубокая теорема была доказана Смитом [1]. - A slightly deeper theorem is proved by Smith [1].• Нижеследующая теорема дает условия, при которых... - The following theorem gives conditions under which...• Нижеследующая теорема является основой для дальнейших приложений. - The next theorem is basic to the applications that follow.• Однако следующая теорема показывает, что... - The next theorem shows, however, that...• Первая часть теоремы уже была доказана. - The first part of the theorem has already been proved.• Поверхностное прочтение данной теоремы могло бы привести к убеждению, что... - A superficial reading of this theorem might lead one to believe that...• Последнюю теорему можно расширить, чтобы включить... - The last theorem can be extended to include...• Применяя данную теорему, важно проверить, что... - When applying the theorem it is essential to check that...• Простое но полезное следствие теоремы 1 состоит в том, что... - A simple but useful consequence of Theorem 1 is that...• Рассмотрим эту теорему с точки зрения геометрии. - Let us consider this theorem geometrically.• Следующая теорема обеспечивает более глубокое понимание (чего-л). - The next theorem provides more insight into...• Следующая теорема дает другое расширение... - The following theorem gives another extension of...• Следующая теорема дает полезный тест для проверки, действительно ли... - The following theorem gives a useful test for determining whether...• Следующая теорема известна как... - The next theorem is known as...• Следующая теорема имеет приложения при изучении... - The next theorem has applications in the study of...• Следующая теорема обобщает хорошо известное свойство... - The following theorem generalizes a well-known property of...• Следующая теорема позволяет нам показать, что... - The following theorem enables us to show that...• Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.• Следующая теорема является прямым обобщением... - The following theorem is a direct generalization of...• Следующая теорема является ценной в этом контексте. - The following theorem is valuable in this context.• Следующие теорема и следствие являются немедленными последствиями... - The following theorem and corollary are immediate consequences of...• Следующий результат является переформулировкой теоремы Гаусса. - The following result is a restatement of Gauss's theorem.• Сначала мы обязаны доказать следующую теорему. - We must first prove the following theorem.• Сформулируем без доказательства следующую теорему относительно... - We state without proof the following theorem concerning...• Таким образом, теорема может быть переформулирована следующим образом. - Thus the theorem can be rephrased as follows.• Теорема Тейлора чрезвычайно полезна для изучения... - Taylor's theorem is extremely useful for the study of...• Теорема не сообщает ничего о... - The theorem says nothing about...• Теперь займемся доказательством этой теоремы. - We now come to the proof of the theorem.• Теперь мы доказываем важную теорему, принадлежащую Банаху. - We now prove an important theorem due to Banach.• Теперь мы можем доказать следующую теорему. - This result enables us to prove the following theorem; We are now able to prove the following theorem; With this result in hand, we can prove the following theorem; With this understanding, we can prove the following theorem; Knowing this, we can prove the following theorem; We can now prove the following theorem; We are now in a position to prove the following theorem; The following theorem is now within our reach; We are now ready for the following theorem.• Теперь мы подходим к серии теорем, касающихся... - We now come to a series of theorems concerning...(= модификации), если... - The statement of the theorem needs modification if...• Хорошо известная теорема математического анализа утверждает, что... - A well-known theorem of analysis states that...• Частным случаем этой теоремы является... - A particular case of this theorem is that...• Чтобы доказать теорему, достаточно показать, что... - То prove the theorem it is sufficient to show that...• Чтобы доказать эту теорему, во-первых, предположим, что... - То prove the theorem, suppose first that...• Чтобы доказать эту теорему, недостаточно увидеть, что... - То prove this theorem it is not enough to observe that...• Эта теорема обеспечивает нас... - This theorem provides us with...• Эти две теоремы совместно показывают, что... - These two results together show that...• Эти теоремы вполне аналогичны теоремам относительно... - These theorems are closely analogous to those concerning...• Это доказательство почти идентично доказательству последней теоремы. - The proof is almost identical with that of the last theorem.• Это и завершает доказательство теоремы. - This proves the theorem; The proof of the theorem is finished; Q. E. D.• Это свойство является следствием следующей теоремы. - This property is a consequence of the following theorem. -
16 машинный (автоматизированный) поиск логического выво
General subject: automated reasoning (в ИИ - одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом))Универсальный русско-английский словарь > машинный (автоматизированный) поиск логического выво
-
17 машинный поиск логического выво
General subject: (автоматизированный) automated reasoning (в ИИ - одно из направлений машинного доказательства теорем (доказательство истинности некоторого утверждения исходя из декларированного множества аксиом))Универсальный русско-английский словарь > машинный поиск логического выво
-
18 идея
idea, notion, concept• (Все) эти теории имеют общую идею (= концепцию), что... - These theories have in common the idea that...• Безусловно, читатель знаком с идеей, что... - The reader is no doubt familiar with the idea that...• В третьей главе мы увидим другое обобщение той же основной идеи. - In Chapter 3 we shall meet another generalization of the same basic idea.• Важно уметь применять идею (= концепцию)... - It is important that we be able to apply the concept of...• Введенные в этой главе идеи подведут нас ближе к... - The ideas introduced in this chapter will bring us closer to...• Вернемся кратко к идее (чего-л). - Let us return briefly to the idea of...• Высказанные ранее идеи теперь могут быть обобщены. - The preceding ideas can now be generalized.• Дальнейшее рассуждение затем привело бы к идее... - Further argument would then lead to the idea of...• Данная идея получила свое начало при исследовании... - The idea originated with the study of...• Идея состоит в следующем. - The idea is as follows.• Имеется мнжество подтверждений идеи, что... - There is a great deal of evidence for the idea that...• Имеется много других примеров, иллюстрирующих основную идею (чего-л). - There are many other examples which illustrate the basic idea of...• Лежащая в основе этого идея состоит в том, что... - The underlying idea is that...• Лежащие в основе (этого) идеи настолько просты, что... - The ideas involved here are so simple that...• Много идей было выдвинуто для объяснения... - Many ideas were put forward to explain...• Многие идеи и результаты последней главы могут быть распространены на случай... - Many of the ideas and results of the last chapter can now be extended to the case of...• Многие идеи, рассматриваемые в данной главе, (являются)... - Many of the ideas appearing in this chapter are...• Мы будем предполагать, что читатель обладает очевидной интуитивной идеей... - We shall assume that the reader has a clear intuitive idea of...• Мы могли бы обобщить эти идеи. - We may extend these ideas.• Мы можем обобщить эту идею, вводя... - We can generalize this idea by introducing...• Мы можем также использовать (= приложить) здесь идею... - We may also apply the concept of...• На самом деле, подобные неопределенные идеи ничего нам не говорят. - Such vague ideas really tell us nothing.• Проще всего понять эту идею можно, рассматривая... - The idea is most easily understood by examining...• Один из ответов на данный вопрос находится в идее... - One answer to this question lies in the concept of...• Однако в общем случае эта идея имеет небольшую область приложений. - However, this idea has little application in general.• Основная идея состоит в том, что... - The basic idea is that...• Основной идеей этого параграфа является то, что... - The main idea of this section is that...• Основные идеи, намеченные в данном параграфе, могут быть проиллюстрированы (чем-л). - The points made in this section can be illustrated by...• Полная идея становится точной (путем, если и т. п.)... - The whole idea is made precise by...• Последняя идея потеряла большую часть своей значимости, потому что... - The latter idea lost much of its significance because...• Похоже, что большинство физиков одобряет идею, что... - Most physicists seem to accept the notion that...• Предыдущее обсуждение приводит к идее, что... - The preceding discussion leads to the idea that...; The foregoing discussion gives an idea of...• Приведем теперь идею доказательства теорем 2 и 3. - Let us now give an idea on how to prove Theorems 2 and 3.• Проблема, которую мы обязаны позднее рассмотреть для применения данной идеи, состоит в том, что... - A problem that we must eventually face in making use of this concept is...• Простейшее доказательство базируется на идее, что... - The simplest proof rests on the concept of...• С самого начала физики приняли идею, что... - Prom the beginning, physicists have accepted the notion that...; From the outset, physicists have accepted the notion that...• Сделаем эти идеи более понятными, рассматривая... - Let us make these ideas clearer by considering...• Сейчас мы кратко изложим основную идею (чего-л). - Let us present in a nutshell the main idea behind...• Следовательно, мы могли бы принять за аксиому идею, что... - Therefore we may take as axiomatic the idea that...• Следовательно, следующим естественным шагом является идея, что... - It is thus a natural step to think of...• Следующим шагом было применение идеи... - The next step was to apply the idea of...• Смит [1] убедительно аргументирует против идеи, что... - Smith [1] argues effectively against the notion that...• Центральная идея, лежащая в основе этих утверждений, состоит в том, что... - The essential idea underlying these statements is that of...• Центральной идеей здесь является то, что... - The essential idea here is that...• Так лее просто эти идеи могут быть сформулированы (и) для... - These ideas can be formulated just as easily for...• Только что изложенная идея была использована, чтобы... - The idea just outlined has been used to...• Центральной идеей, на которой основывался подход Смита [1], была... - The essential idea behind Smith's approach was that...• Чрезвычайно близкие идеи используются для (= в)... - Precisely similar ideas are applicable to...• Чтобы конкретизировать эту идею, давайте... - То make this idea more concrete, let...• Чтобы упорядочить все эти идеи подходящим образом, мы... - In order to place these ideas in their proper framework, we...• Эйнштейн использовал (- применил) точно те же самые идеи в (= при рассмотрении)... - Einstein applied precisely the same ideas to...• Эта идея (= мысль) выражается более точно в... - This idea is expressed more precisely in...• Эта идея будет объясняться ниже. - This idea will be clarified below.• Эта идея одновременно самодостаточна и привлекательна, однако... - This idea is both self-contained and attractive, but...• Эта идея удивительно близка к... - This idea is remarkably close to...• Эта идея уже была использована Смитом [1], который предлагает, что(бы)... - This idea has been exploited by Smith [1], who suggests that...• Эта простая, но все же глубокая идея... - This simple yet profound idea...• Эти идеи были развиты целым рядом авторов. - The material has been developed by a number of contributors.• Эти идеи получают немедленно приложение к/в... - These ideas have immediate application in...• Этим путем мы приходим к мысли (= идее) о... - In this way we arrive at the idea of...• Это весьма настойчиво подталкивает нас к идее, что... - This suggests quite strongly that...• Это заключение базируется на тех же идеях, которые приводят к... - This conclusion is based on the same ideas that lead to...• Это очевидным образом связано с известной и интуитивной идеей, что... - This is obviously related to the familiar and intuitive idea that...• Это приводит нас к идее постулировать существование... - This leads us to postulate the existence of...• Это фундаментальная идея, лежащая в основании (решения, процесса и т. п.)... - This is the fundamental idea behind...• Эту идею легко понять, однако... - The idea is easily understood, but... -
19 достаточность
(в доказательстве теорем) sufficiencyПример из статьи "On the Stability and Accuracy of One-Step Methods for Solving Stiff Systems of Ordinary Differential Equations", опубликованной в "Mathematics of Computation", American Mathematical Society
Proof. (a) Necessity. <...> (b) Sufficiency. <...> Доказательство. (a) Необходимость. <...> (b) Достаточность. <...> см. также необходимое и достаточное условие необходимостьРусско-английский словарь по численным методам интегрирования жёстких систем обыкновенных дифференциальных уравнений > достаточность
-
20 необходимость
(в доказательстве теорем) necessityПример из статьи "On the Stability and Accuracy of One-Step Methods for Solving Stiff Systems of Ordinary Differential Equations", опубликованной в "Mathematics of Computation", American Mathematical Society
Proof. (a) Necessity. <...> (b) Sufficiency. <...> Доказательство. (a) Необходимость. <...> (b) Достаточность. <...> см. также достаточностьРусско-английский словарь по численным методам интегрирования жёстких систем обыкновенных дифференциальных уравнений > необходимость
См. также в других словарях:
доказательство теорем — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN theorem proving … Справочник технического переводчика
доказательство теорем методом резолюций — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN resolution theorem proving … Справочник технического переводчика
Автоматическое доказательство теорем — Автоматическое доказательство теорем доказательство теорем, реализуемое программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний … Википедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Доказательство — в логике, процесс (метод) установления истины (См. Истина), обоснование истинности суждения (См. Суждение). В соответствии с различными возможными аспектами и уровнями рассмотрения и употребления понятий «истина» («истинность») и… … Большая советская энциклопедия
Автоматическое доказательство — доказательство, реализованное программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов. В силу неразрешимости даже … Википедия
Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… … Философская энциклопедия